241. Responsive Computing :
پدیدآورنده : by Miroslaw Malek.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Software engineering.
242. Reversible computation :
پدیدآورنده : Robert Glück, Tetsuo Yokoyama (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer logic -- Congresses.,Computer science -- Mathematics -- Congresses.,Reversible computing -- Congresses.
رده :
QA76
.
9
.
L63
R634
2013
243. Rigorous software development :
پدیدآورنده : José Bacelar Almeida [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Development.,Computer software-- Verification.,Computer software-- Development.,Computer software-- Verification.,Informatique.
رده :
QA76
.
76
.
V47
R54
2011
244. Rigorous software engineering for service-oriented systems :
پدیدآورنده : Martin Wirsing, Matthias Hölzl (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : SENSORIA Project,Service-oriented architecture (Computer science),Web services
رده :
TK5105
.
5828
.
R54
2011
245. Runtime verification :
پدیدآورنده : Christian Colombo, Martin Leucker (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Testing, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Computer programming-- software development.,Computer software-- Testing.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
246. SAFECOMP '93 :
پدیدآورنده : the 12th International Conference on Computer Safety, Reliability and Security. Organ. by Franco-Polsh School of New Information and Communication Technologies. Ed. by Janusz Górski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
247. SAFECOMP 95 the 14th International Conference on Computer Safety, Reliability, and Security, Belgirate, Italy, 11-13 October 1995
پدیدآورنده : ed. by Gerhard Rabe
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Datensicherung,Software,Zuverlässigkeit
248. SDL '97 :
پدیدآورنده : Ana Cavalli
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : SDL (Computer program language)
249. Safecomp '97 :
پدیدآورنده : Peter Daniel
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : varnost
250. Services -- SERVICES 2019 :
پدیدآورنده : Yunni Xia, Liang-Jie Zhang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer systems, Congresses.,Computer systems.
رده :
QA75
.
5
251. Simulation and verification of electronic and biological systems
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Formal methods (Computer science),Computer software- Verification
رده :
QA
،
76
.
9
،.
S5
،
2011
252. Software Engineering and Environment :
پدیدآورنده : by Phillip C.-Y. Sheu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Object-oriented programming (Computer science),Software engineering.
253. Software Engineering for Large Software Systems
پدیدآورنده : edited by B.A. Kitchenham.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Software engineering.
رده :
QA76
.
76
.
D47
E358
1990
254. Software Engineering for Resilient Systems :
پدیدآورنده : edited by Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav Kharchenko.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
255. Software Engineering with Computational Intelligence
پدیدآورنده : edited by Taghi M. Khoshgoftaar.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Software engineering.
256. Software Fault Tolerance :
پدیدآورنده : edited by Manfred Kersken, Francesca Saglietti.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Computer system performance.,Data transmission systems.
رده :
QA76
.
9
.
F38
E358
1992
257. Software engineering
پدیدآورنده : Oscar Nierstrasz, Michel Lemoine (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Software engineering, Congresses.
258. Software engineering :
پدیدآورنده : M.N. Hoda, Naresh Chauhan, S.M.K. Quadri, Praveen Ranjan Srivastava, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Human factors, Congresses.,Human computation, Congresses.,Software engineering, Congresses.,Computer software-- Human factors.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Human computation.,Software engineering.
رده :
QA76
.
9
.
H84
259. Software evolution with UML and XML /
پدیدآورنده : Hongji Yang, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Development.,UML (Computer science),XML (Document markup language),Computer software-- Development.,Computer software-- Development.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,UML (Computer science),UML (Computer science),XML (Document markup language),XML (Document markup language)
رده :
QA76
.
76
.
D47
S6615
2005eb
260. Software evolution with UML and XML
پدیدآورنده : Hongji Yang, ]editor[
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Model-driven software architecture,، UML )Computer science(,، XML )Document markup language(
رده :
QA
76
.
76
.
D47
S6615
2005